CBMC相关论文
目的 :为了再次证明pHGF的免疫功能。方法 :应用免疫组织化学法测定pHGF对脐血单个核细胞表达CD4、CD8、HLA DR分子的影响。结果 :......
模型检验可验证路由协议的收敛性,环路问题,包交付失败,由于协议描述的歧义导致的问题,安全性缺陷等.实验一建立关注链路状态数据......
当记者随中国基督教三自爱国运动委员会副主席季剑虹、王菊珍等同工踏上祖国宝岛台湾时,心中不仅了结这多少年来的愿望,同时,也让......
模型检验是确保程序质量的有效手段,能弥补软件测试的不足。但航天测控软件规模大、输入数据复杂、验证性质不明确等因素极大地阻......
目的分析绝经女性血脂与骨矿密度(BMD)、校正骨矿含量(cBMC)的关系。方法测量265例绝经女性身高、体重、腰围(W)、臀围(H)、收缩压(SBP)、舒......
目的:为了再次证明pHGF的免疫功能。方法:应用免疫组织化学法测定pHGF对脐血单个核细胞表达CD4、CD8、HLA-DR分子的影响。结果:证明pHGF均能促进上述分子在脐血......
以构型导向Monte Carlo(CBMC)方法模拟了体系温度为298 K,气体压强为0.1~100 kPa下Cu-BTC对SO2、CO2、NO2吸附密度分布.并利用密度泛......
目的探讨代谢综合征(MS)对骨量的影响。方法DEXA测定86例MS患者及89例对照者的瘦体重、总体脂量、全身脂肪含量、全身BMD及BMC,测血F......
对软件进行检测和验证是保证软件可靠验证标准C程序的工具--标准C语言的有界模型检测工具CBMC,它可以对用Verilog语言建好的硬件电......
XML-RPC协议是ROS节点通讯的核心调用机制,其实现的正确性关乎整个系统的顺利运行.使用模型检测和定理证明结合的方法对ROS系统中......
针对工业界实现的无线抄表路由协议WM2RP(Wireless Meter Reading Routing Protocol),提出将CBMC有界模型检测工具运用到该协议实现......